Hagen Huwig, Axel Poigné, "A note on inconsistencies caused by fixpoints in a cartesian closed category"